Interoperability in Collaborative Processes: Requirements Characterisation and Proof Approach
نویسندگان
چکیده
Interoperability problems which can occur during the collaboration between several enterprises can endanger this collaboration. Consequently, it is necessary to become able to anticipate these problems. The proposed approach in this paper is based on the specification of properties, representing interoperability requirements, and their analysis on enterprise models. Due to the conceptual limits of existing modeling languages, formalizing these requirements and intending to translate them under the form of properties need to add conceptual enrichments to these languages. Finally, the analysis of the properties on enriched enterprise models, by formal checking techniques, aims to provide tools allowing to reasoning on enterprise models in order to detect interoperability problems, from an anticipative manner.
منابع مشابه
An Anticipative Effects-Driven Approach for Analyzing Interoperability in Collaborative Processes
Partners involved into a collaborative process must satisfy interoperability requirements in order to fulfil adequately their mission all along the process. Indeed, interoperability is now considered as a key factor of success when sharing data, services, knowledge, skills, and resources. However, although the main desired effects (to respect a cost, to produce n products, to respect a quality ...
متن کاملA Methodical Interoperability Framework for Collaborative Business Process Management in the Public Sector
Nowadays, economic as well as public organizations are changing towards networked structures. An increasing level of cooperation between public administrations on national, regional and local levels requires methods to develop interoperable E-Government systems and leads to the necessity of an efficient modeling of collaborative business processes and their subsequent implementation. This is a ...
متن کاملInteroperability Constraints and Requirements Formal Modelling and Checking Framework
This paper aims to present and formalize the foundations of a modeling and checking framework for system requirements management. It is illustrated by the study of interoperability requirements having to be respected all along collaborative (private or public) processes.
متن کاملMixing Systems Engineering and Enterprise Modelling Principles to Formalize a SE Processes Deployment Approach in Industry
Systems Engineering (SE) is a tried and tested methodological approach to design and test new products. It acts as a modelbased engineering approach and promotes for this purpose a set of standardized collaborative processes, modelling languages and frameworks. In a complementary way, Enterprise Modelling (EM) provides concepts, techniques and means to model businesses along with their processe...
متن کاملDynamic configuration and collaborative scheduling in supply chains based on scalable multi-agent architecture
Due to diversified and frequently changing demands from customers, technological advances and global competition, manufacturers rely on collaboration with their business partners to share costs, risks and expertise. How to take advantage of advancement of technologies to effectively support operations and create competitive advantage is critical for manufacturers to survive. To respond to these...
متن کامل